Rem($a$;$n$;$r$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$q$:$\mathbb{N}$. (Div($a$;$n$;$q$) \& ($q$ $\ast$ $n$)+$r$ = $a$)